widget: Flip the sensitive flag even if the state doesn't change
authorRui Matos <tiagomatos@gmail.com>
Fri, 16 Dec 2011 23:46:19 +0000 (23:46 +0000)
committerRui Matos <tiagomatos@gmail.com>
Sat, 17 Dec 2011 11:48:01 +0000 (11:48 +0000)
commit9d6da33ff5c5e41e3521e1afd63d2d67bc915753
tree60bfa86a02a0d80e694efb2b3d8c86ae1632d115
parentb9fad15ee635f576b7450cd3fec6a84b2f3e010e
widget: Flip the sensitive flag even if the state doesn't change

Even if we can't change our sensitivity because the parent is insensitive we
should still flip the sensitive flag. Otherwise, with and insensitive parent,

child.set_sensitive(True)
...
parent.set_sensitive(True)

would result in child still being insensitive.

https://bugzilla.gnome.org/show_bug.cgi?id=666392
gtk/gtkwidget.c